The Free On-line Dictionary of Computing (30 December 2018):

Alonzo Church
Church, Alonzo

    A twentieth century mathematician and logician, and
   one of the founders of computer science.  Church invented the
   lambda-calculus and posited a version of the Church-Turing
   thesis.

   (1995-03-25)